The Three-Tier Corrective Reasoning

Increasing the Reliability of Three-Tier Applications

In this paper we describe an infrastructure that provides increased reliability for three-tier applications, transparently , using commercial off-the-shelf application servers and database systems. In this infrastructure the application servers are actively replicated to protect the business logic processing. Replicating the transaction coordinator renders the two-phase commit protocol non-bloc...

Two and Three tier architecture

A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT

The SMT-LIB standard defines a formal semantics for a theory of floating-point (FP) arithmetic (FPA). This formalization reduces FP operations to reals by means of a rounding operator, as done in the IEEE-754 standard. Closely following this description, we propose a three-tier strategy to reason about FPA in SMT solvers. The first layer is a purely axiomatic implementation of the automatable s...

Three-tier replication for FT-CORBA infrastructures

Enforcing strong replica consistency among a set of replicas of a service deployed across an asynchronous distributed system in the presence of crash failures is a real practical challenge. If each replica runs the consistency protocol bundled with the actual service implementation, this target cannot be achieved, as replicas need to be located over a partially synchronous distributed system to...

Three-tier View-based Mobile Workflows

Workflow technology has recently been employed not only within businesses but also as a framework for implementing services over the Internet. With the advancement and spreading of various mobile technologies and infrastructures, there is increasing demand for mobile users to connect to workflow management systems (WFMS). The basic requirement is to support SMS, WAP and web browsers on PDAs, in...